Loomis-Sikorski theorem and Stone duality for effect algebras with internal state
نویسندگان
چکیده
Recently Flaminio and Montagna, [FlMo], extended the language of MV-algebras by adding a unary operation, called a state-operator. This notion is introduced here also for effect algebras. Having it, we generalize the Loomis–Sikorski Theorem for monotone σ-complete effect algebras with internal state. In addition, we show that the category of divisible state-morphism effect algebras satisfying (RDP) and countable interpolation with an order determining system of states is dual to the category of Bauer simplices Ω such that ∂eΩ is an F-space
منابع مشابه
STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES
$Rsb{0}$-algebras, which were proved to be equivalent to Esteva and Godo's NM-algebras modelled by Fodor's nilpotent minimum t-norm, are the equivalent algebraic semantics of the left-continuous t-norm based fuzzy logic firstly introduced by Guo-jun Wang in the mid 1990s.In this paper, we first establish a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras and the category of t...
متن کاملThe Loomis–Sikorski Theorem for EMV -algebras
Recently, in [DvZa], we have introduced EMV -algebras which resemble MV -algebras but the top element is not guaranteed for them. For σ-complete EMV -algebras, we prove an analogue of the Loomis–Sikorski Theorem showing that every σ-complete EMV -algebra is a σ-homomorphic image of an EMV -tribe of fuzzy sets where all algebraic operations are defined by points. To prove it, some topological pr...
متن کاملEntropy on effect algebras with Riesz decomposition property II: MV-algebras
We continue the study of entropy. In Part I, we have introduced basic properties of entropy. Here we concentrate mainly on the state space which allows us to understand the entropy better, Section 8, and we introduce also quotient effect algebras. Section 9 studies shortly the problem of a so-called entropy generator theorem for effect algebras or MV-algebras. The main results of the present pa...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Fuzzy Sets and Systems
دوره 172 شماره
صفحات -
تاریخ انتشار 2011